Tailoring and Testing of Process Models applied to the Vorgehensmodel The ProcePT Approach
نویسندگان
چکیده
Activities to be performed and documents to be produced or modified are the basic elements for the software process description and are grouped according to different engineering aspects, such as development, quality assurance, configuration management or project management. Activities can be refined to processes using refined document structure or generalized to global procedures. Each resulting process can be tested, separately or in context with all of the other processes, whether it is enactable. Tailoring of a generic process model to a project-specific software development procedure is supported by refinement or abstraction. The trace of the tailoring process can be used to prove that the given project-specific software process is in compliance with a required process model. It is shown that a rule-based software process description can be effectively applied to program and test software processes according the German DoD software process standard Vorgehensmodell. Process requirements standards, such as ISO9000, are also tested in the context of model. The tailoring and testing of software processes are supported by the tool ProcePT implemented in PROLOG.
منابع مشابه
Modeling Static Bruising in Apple Fruits: A Comparative Study, Part II: Finite Element Approach
ABSTRACT- Mechanical damage degrades fruit quality in the chain from production to the consumption. Damage is due to static, impact and vibration loads during processes such as harvesting, transportation, sorting and bulk storage. In the present study finite element (FE) models were used to simulate the process of static bruising for apple fruits by contact of the fruit with a hard surface. Thr...
متن کاملTesting Several Rival Models Using the Extension of Vuong\'s Test and Quasi Clustering
The two main goals in model selection are firstly introducing an approach to test homogeneity of several rival models and secondly selecting a set of reasonable models or estimating the best rival model to the true one. In this paper we extend Vuong's method for several models to cluster them. Based on the working paper of Katayama $(2008)$, we propose an approach to test whether rival models h...
متن کاملComparing two testing procedures in unbalanced two-way ANOVA models under heteroscedasticity: Approximate degree of freedom and parametric bootstrap approach
The classic F-test is usually used for testing the effects of factors in homoscedastic two-way ANOVA models. However, the assumption of equal cell variances is usually violated in practice. In recent years, several test procedures have been proposed for testing the effects of factors. In this paper, the two methods that are approximate degree of freedom (ADF) and parametric bootstr...
متن کاملEfficiency evaluation of wheat farming: a network data envelopment analysis approach
Traditional data envelopment analysis (DEA) models deal with measurement of relative efficiency of decision making units (DMUs) in which multiple-inputs consumed to produce multiple-outputs. One of the drawbacks of these models is neglecting internal processes of each system, which may have intermediate products and/or independent inputs and/or outputs. In this paper some methods which are usab...
متن کاملTesting for Stochastic Non- Linearity in the Rational Expectations Permanent Income Hypothesis
The Rational Expectations Permanent Income Hypothesis implies that consumption follows a martingale. However, most empirical tests have rejected the hypothesis. Those empirical tests are based on linear models. If the data generating process is non-linear, conventional tests may not assess some of the randomness properly. As a result, inference based on conventional tests of linear models can b...
متن کامل